IEEE 754
#IEEE
#浮動小数点数
#全順序と半順序
NaN
同士の比較は
equal
にならず
unordered
になる
$ \log -1=i\pi
も
$ \sqrt{-1}=i
もNaNになるけど元は同じ値ではないから
負のゼロ
符号が異なる場合は
+0.0
なので
-0.0 + 0.0
の計算結果は
+0.0
0を足しても同じにならない
ただし
-0.0
と
+0.0
は等しい